-
product
SoC Verification
TrekSoC
TrekSoC automatically generates self-verifying C test cases to run on the embedded processors in SoCs. This verifies your chips more quickly and more thoroughly than an external testbench, hand-written C tests, or running only production code on the processors. TrekSoC's generated test cases target all aspects of full-SoC verification and work in a variety of different environments.
-
product
Verification Suite
Cadence is committed to providing industry-leading bare metal compute, the fastest verification engines, and the smartest verification applications so you can find and fix the most bugs per dollar compute per day.
-
product
Phase Verification Bridges
5002
Clarke-Hess Communications Research
The Model 5002 Phase Verification Bridge set comprises passive devices that are used in conjunction with Model 5500-2 Phase Standard and an output null indicator such as a true rms voltmeter, an oscilloscope or a wave analyzer to verify that the Phase Standard is continuing to operate within its specified phase accuracy limits.
-
product
Test Program Quality Verification
CodeReport
CodeReport is an easy-to-use application for verifying test program quality. CodeReport comes with many different, known quality screening rules that can be used to verify your test program is complete and ready for production. CodeReport also provides a graphical Rule Editor that allows you to create your own, custom rules. Ensure your coding standards and quality specifications are correct by generating your set of rules, checks, and screenings. Easily generate a detailed report for locating, correcting, and documenting the state of your test program. Quickly identify the tester hardware and instrumentation needed to run your program with the Tester Resource report. Save a session file to quickly return to your project after edits have been made or use the Session on other similar projects to transfer your configuration and custom rules.
-
product
Barcode Verification Systems
REA PC-Scan LD4
The REA PC-Scan LD4 is a barcode verifier made in Germany which was developed in conformity with international standards. It is especially designed for measuring barcodes with highest precision. The combination of state-of-the-art technology, process reliability and intuitive operation makes the REA PC-Scan LD4 globally unique in its class. Final statements "Pass" or "Fail" are central display elements and enable an immediate result. The simultaneously displayed details allow for an immediate and exact barcode quality analysis.
-
product
Verification And Diagnostic Tools
Y1131A
Provides module-specific tests to troubleshoot relay failures and predict maintenance requirements.
-
product
FPGA Verification
The market is changing and rapidly expanding for FPGAs. Advancements in higher design frequency, embedded system FPGAs, and lower power consumption, combined with the reprogrammable advantages of FPGAs are increasing adoption into applications that have typically been enabled with ASSP/SoCs, including AI/ML, 5G, crypto, data center and high-performance computing applications.
-
product
RTL Floorplanner, Partitioning, And Floorplan Verification
ConStruct
ConStruct is an early RTL Floorplanner, partition explorer, and floorplan verification tool. It can further be used to generate the partitioned RTL based on specified criteria.
-
product
Torque Verification
90229
SDI’s 90229 is designed for calibrating tools used to apply torque including electric and pneumatic power tools, torque sensors, hand and click wrenches. The strain gage based reaction torque sensors in the bench-mount housing remain stationary while torque is applied. The housing dis-assembles by removing two snap pins, allowing the user to easily change socket sizes and capacities.
-
product
1mm Verification Kit
85059V
The Keysight 85059V is a 1.0 mm verification kit designed for vector network analyzer systems operating over the frequency range of DC to 120 GHz. This includes a set of standards with known characteristics, traceable to primary standards in the Keysight Technologies calibration lab. This verification kit is used to verify the measurement calibration and also to verify that the PNA/PNA-X based millimeter-wave system is operating within its specifications. The 85059V with 85059B 1 mm calibration kit are replacements for the 85059A 1 mm calibration/verification kit.
-
product
SoC Signoff & Structural Verification
Defacto’s STAR augments existing RTL verification flows by providing fully automated structural checks. Users can also define and build their custom checks.
-
product
Calibration And Verification Instruments
The system of automatic calibration and verification consists of a computer of the operator's workplace and a control controller with a calibrator connected to it and a verified device. The device under test can have 4 to 16 working channels with a complicated circuit for connecting different types of signals: voltage, current, thermocouples, thermoresistance. The system allows a change in the set of operating ranges during calibration and calibration. The software development system used the LabVIEW development environment with the Real-Time module.
-
product
ATSC 3.0 Broadcast Stream Verification
StreamScope XM Verifier
The Windows®-based Verifier web app receives, tests, and records ATSC 3.0 broadcast streams from RF, Ethernet, and file inputs. With Verifier, you can monitor real-time graphs and charts of bitrates, signaling tables, RF parameters, packet errors, subframes, PLPs, and other KPIs.
-
product
MCB Thermal Verification Test Bench
The test system is a special version of the thermal test test system in the sense that the test jig is primarily designed to hold and connect multi pole MCBs for thermal verification so that each pole can be verified to trip within the IEC time band after the MCB has been riveted. This test ensures the trip verification of MCB so as to trip all the 4 poles at once when overload is detected in one single pole. In short, this is a verification-only bench.
-
product
EBIRST 104-pin D-type Verification Fixture
93-022-101
The 93-022-101 104-pin D-type Verification Fixture is an accessory for the eBIRST range of USB controlled test tools capable of performing automated path resistance tests on Pickering Interfaces switching solutions. The tool simply interfaces with the switching system's connector so a test can be run using the supplied Windows-based software.
-
product
Static Design Verification
ALINT-PRO
ALINT-PRO™ is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design.
-
product
Functional Verification
The Mentor Graphics Scalable Verification" is the most comprehensive EDA solution for functional verification, merging standards support, tools and a "design for verification" methodology to minimize verification cycles and costly design respins.
-
product
Multi Channel Optical Fibre Verification
The multi-channel optical fibre test system is used in the development and qualification of single mode optical fibres. The fibres are exposed to environmental influences in a climatic chamber in order to analyse the data on insertion loss and reflection. In addition, the current temperature in the climatic chamber is documented. Insertion loss measurement is performed with the help of an optical power meter, laser sources and optical switches. An Optical Time Domain Reflectometer (OTDR) from Exfo is used for the reflection measurements. The system was designed for the simultaneous characterization of 15 sample fibres and one reference fibre.
-
product
Verification IP's
SmartDV Technologies India Private Limited
We develop Verification Components, leveraging our rich experience in ASIC / SoC design verification and capabilities on high-level verification languages (HVLs). Our verification components are configurable, reusable plug-and-play verification solutions for standard interfaces based on HVL. We currently support SystemVerilog, Vera, SystemC, Specman E and Verilog. All our VIP''s are supported natively in SystemVerilog VMM, RVM, AVM, OVM, UVM, Verilog, SystemC, VERA, Specman E and non-standard verification env.
-
product
Carrier Board Design and Software Verification Computer-on-Module Starter Kit
Starter Kit - ETX
- ETX module of choice- CPU, Memory of choice- Thermal Solution (heatspreader, and heatsink) of choice- Reference Carrier Board- Schematics, Design Guide, and User Manuals- ADLINK USB Stick with Documentation, Software
-
product
Semiconductor Authenticity Verification & Anti-Counterfeiting
JTAG Interrogator
Top manufacturers have used JTAG tests for years to ensure electronic systems are free from defects and assembled correctly. With growing uncertainty in supply chains and the proliferation of counterfeit components, that same technology can be used to verify the authenticity of system components.The Corelis JTAG Interrogator is an affordable solution for semiconductor verification. The software and hardware system provides the means to quickly identify components on an assembled electronic product by reading available information from the JTAG chain. Components can also be scanned to discover undocumented opcodes that may indicate hidden JTAG capabilities such as backdoors and harmful or malicious functions.Fast and nonintrusive JTAG component identification has never been so easy.
-
product
Verification IPs
*AMBA AXI (AXI3, AXI4, Stream)*Open Core Protocol (OCP)*Advanced Peripheral Bus (APB)*Advanced High-performance Bus (AHB)
-
product
Validation And Verification
Development tools from Keil are quality assurance testedusing a number of commercial and in-house test suites.
-
product
SOLAS Compliant Container Weight Verification System
Cargo Hawk is a non-intrusive SOLAS compliant Container Weight Verification system. Using Datum Electronics highly accurate and patent protected innovative bolton strain gauge sensors, Cargo Hawk seamlessly integrates to new and existing container handling equipment, without the need of introducing expensive high wearing consumable load monitoring hardware.
-
product
Matrix Code Verification Systems
REA VeriCube
The REA VeriCube is a state-of-the-art matrix and barcode verification device which can be used across all industry sectors. Whether lying, standing or from top to bottom, virtually any test sample can be measured contact-free in the optimum measuring position. The measurement of optical codes in compliance with defined angles, distances and lighting allows accurate and reproducible measurement results and quality evaluations.
-
product
Process Verification with Augmented Reality
PVS AR
Connected to our standard, open PVS (Process Verification System) platform, the new early adopter PVS AR system, allows users to do several things, not yet seen in the industry. First, by connecting to a wide variety of standard torque tools, standard PVS connectivity allows customer choice to pick the right tool for the right job, but now allows these tools to be used in an augmented reality framework.
-
product
Portable Sequence Generator for Verification, Firmware & Validation
ISequenceSpec
The complexity of modern SoC has raised the requirement for HW/SW co-simulation to catch the bugs from the early design stage. There is lack of common set of sequences which can be shared across the teams. ISepenceSpec helps design teams to generate the unified test and programming sequences in UVM and Firmware from the specification. ISequenceSpec uses the register information from importing the standard formats like IP-XACT, SystemRDL, XML. User can define the test sequences in a simple editor, and then generate the unified test sequences from verification to validation.
-
product
Pegasus Verification System
The Cadence® Pegasus® Verification System is a cloud-ready physical verification signoff solution, which enables engineers to deliver advanced-node integrated circuits (ICs) to market faster. The groundbreaking technology delivers up to 10X improved performance on DRC runs and reduces turnaround time from days to hours.
-
product
CableEye 4-Wire Calibration Verification Board | Cable & Harness Testers
CB52
The CB52 is intended for periodic calibration verification of the Kelvin 4-wire resistance measurement module – an optional, add-on module that may be purchased with any new hipot system, or added to an existing high voltage tester as an upgrade.
-
product
Design Verification Editor Checker for SV/UVM
DVinsight
DVinsight-Pro is a Integrated Development Environment (IDE) for creation of Universal Verification Methodology (UVM) based System Verilog (SV) Design Verification (DV) code. Design & Verification Engineers can create correct by construction DV code because DVinsight-Pro is a design verification editor checker that provides helpful insight into user code and ensures compliance with UVM best practices while adhering to established standards.
